Cited Author Cited Work Volume Page Year ACZEL P CSLI LECT NOTES 14 1988 AITKACI H THEOR COMPUT SCI 122 263 1994 BAADER F CISREP9475 U MUN 1994 BAADER F CISREP95120 U MUN 1995 BAADER F J SYMB COMPUT 21 211 1996 BAADER F LECT NOTES COMPUTER 914 352 1995 BAADER F LECTURE NOTES COMPUT 690 301 1993 BAADER F LNAI 607 1992 BAADER F LNCS 976 380 1995 BACKOFEN R LECT NOTES COMPUTER 845 320 1994 BENKHALIFA K THESIS RWTH AACHEN G 1996 BOUDET A J SYMB COMPUT 16 597 1993 BURCKERT HJ LECT NOTES COMPUTER 568 1991 CHERLIN G LECT NOTES MATH 521 1976 COHN PM UNIVERSAL ALGEBRA 1965 COLMERAUER A COMMUN ACM 33 69 1990 COLMERAUER A P 2 INT C 5 GEN COMP 85 1984 COMON H J SYMB COMPUT 7 371 1989 COMON H LNCS 787 1 1994 DERSHOWITZ N J SYMB COMPUT 3 69 1987 DOVIER A LOGIC PROGRAMMING 1991 DOVIER A P INT LOG PROGR S 540 1993 DROSTE M MATH STRUCT COMPUT S 3 137 1993 FAGES F LECT NOTES COMPUTER 170 194 1984 JAFFAR J P 14 ACM S PRINC PRO 111 1987 KEPSER S LNCS 1118 282 1996 KIRCHNER C P SIGSAM 1989 INT S 1989 KIRCHNER H J SYMB COMPUT 18 113 1994 MAHER MJ LICS 88 348 1988 MALCEV AI GRUNDLEHREN MMATH WI 192 1973 MALCEV AI STUDIES LOGIC FDN MA 66 1971 MEINKE K HDB LOGIC COMPUTER S 1 189 1992 MUKAI K THESIS TOKYO I TECHN 1991 NELSON G ACM TOPLAS 1 245 1979 OPPEN DC THEORETICAL COMPUTER 12 291 1980 RINGEISSEN C LECT NOTES COMPUTER 624 1992 ROUNDS WC CSLI88129 1988 SCHMIDTSCHAUSS M J SYMB COMPUT 8 51 1989 SCHMIDTSCHAUSS M SR8823 SEKI U KAIS 1988 SHOSTAK RE J ASSOC COMPUT MACH 26 351 1979 SMOLKA G J LOGIC PROGRAM 18 229 1994 STICKEL ME J ASSOC COMPUT MACH 28 423 1981 VAZHENIN YM MATH USSR SB 44 109 1983 WEAVER N ALGEBRA UNIV 30 27 1993 WILLIAMS JG LECT NOTES COMPUTER 518 1991