Fairtlough, M. V., Mendler, M. V., & Walton, M. (1997). First order lax logic as a framework for constraint logic programming.
Chicago-Zitierstil (17. Ausg.)Fairtlough, Matthew V., Michael V. Mendler, und Matt Walton. First Order Lax Logic as a Framework for Constraint Logic Programming. Passau, 1997.
MLA-Zitierstil (9. Ausg.)Fairtlough, Matthew V., et al. First Order Lax Logic as a Framework for Constraint Logic Programming. 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.