[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Continuations of logic programs
Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.Volume:
10.1007/BF
Year:
1990
Language:
english
DOI:
10.1007/bfb0043077
File:
PDF, 639 KB
english, 1990