Conference Proceedings
Logic program semantics for programming with equations
J Jaffar, PJ Stuckey
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Published : 1986