APA (7th ed.) Citation

Dennis, L. A., & Kaelbling, L. P. (2005). An Architecture for Proof Planning Systems. IJCAI Inc.

Chicago Style (17th ed.) Citation

Dennis, Louise Abigail, and L. P. Kaelbling. An Architecture for Proof Planning Systems. IJCAI Inc, 2005.

MLA (9th ed.) Citation

Dennis, Louise Abigail, and L. P. Kaelbling. An Architecture for Proof Planning Systems. IJCAI Inc, 2005.

Warning: These citations may not always be 100% accurate.