CL 2000 London, England, SpringerLink (Online service), & Lloyd, J. W. (2000). Computational logic--CL 2000: First International Conference, London, UK, July 2000 : proceedings. Springer.
Chicago Style (17th ed.) CitationCL 2000 London, England, SpringerLink (Online service), and J. W. Lloyd. Computational Logic--CL 2000: First International Conference, London, UK, July 2000 : Proceedings. Berlin ; New York: Springer, 2000.
MLA (9th ed.) CitationCL 2000 London, England, et al. Computational Logic--CL 2000: First International Conference, London, UK, July 2000 : Proceedings. Springer, 2000.
Warning: These citations may not always be 100% accurate.