APA (7th ed.) Citation

Fairtlough, M. V., Mendler, M. V., & Walton, M. (1997). First order lax logic as a framework for constraint logic programming.

Chicago Style (17th ed.) Citation

Fairtlough, Matthew V., Michael V. Mendler, and Matt Walton. First Order Lax Logic as a Framework for Constraint Logic Programming. Passau, 1997.

MLA (9th ed.) Citation

Fairtlough, Matthew V., et al. First Order Lax Logic as a Framework for Constraint Logic Programming. 1997.