25,161
edits
Changes
no edit summary
* [[Maarten van Emden]], [https://dblp.uni-trier.de/pers/hd/s/Szeredi:P=eacute=ter Péter Szeredi] ('''1988'''). ''[https://www.sciencedirect.com/science/article/pii/B9780934613408500221 Converting AND-Control to OR-Control by Program Transformation]''. [https://www.elsevier.com/books/foundations-of-deductive-databases-and-logic-programming/minker/978-0-934613-40-8 Foundations of Deductive Databases and Logic Programming], [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann]
==1990 ...==
* [https://dblp.uni-trier.de/pers/hd/c/Cheng:Mantis_H=_M= Mantis H. M. Cheng], [[Maarten van Emden]], [https://dblp.uni-trier.de/pers/hd/r/Richards:B=_E= B. E. Richards] ('''1990'''). ''On Warren's Method for Functional Programming in Logic''. [https://dblp.uni-trier.de/db/conf/iclp/iclp90.html ICLP 1990] <ref>[https://en.wikipedia.org/wiki/David_H._D._Warren [Mathematician#DHDWarren|David H. D. Warren]] ('''1982'''). ''Higer-order extensions to prolog: are they needed?'' [https://aitopics.org/download/classics:C65CF540 pdf]</ref>
* [[Maarten van Emden]] ('''1992'''). ''Rhetoric versus Modernism in Computing''. [https://en.wikipedia.org/wiki/Journal_of_Logic_and_Computation Journal of Logic and Computation], Vol. 2
* [[Maarten van Emden]] ('''1992'''). ''[https://onlinelibrary.wiley.com/doi/abs/10.1002/stvr.4370020304 Structured Inspections of Code]''. [https://dblp.uni-trier.de/db/journals/stvr/stvr2.html Software Testing, Verification & Reliability, Vol. 2]
