John S. Jeavons (jeavons-js)

Contributions to Philosophie.ch

Bibliography

Jeavons, John S. and Crossley, John Newsome. 1992. “A Logic-Based Modelling of Prolog Resolution Sequences.” Logique et Analyse 35(137–138): 189–205.
Jeavons, John S. and Crossley, John Newsome. 1994. “A Logic-Based Modelling of Prolog Resolution Sequences Including the Negation as Failure Rule.” Logique et Analyse 37(147–148): 379–406.