APA (7th ed.) Citation

LPAR (Conference) Tʻbilisi, Georgia), SpringerLink (Online service), Ganzinger, H., McAllester, D. A., & Voronkov, A. (1999). Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings. Springer.

Chicago Style (17th ed.) Citation

LPAR (Conference) Tʻbilisi, Georgia), SpringerLink (Online service), H. Ganzinger, David A. McAllester, and Andrei Voronkov. Logic for Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings. Berlin ; New York: Springer, 1999.

MLA (9th ed.) Citation

LPAR (Conference) Tʻbilisi, Georgia), et al. Logic for Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings. Springer, 1999.