Laura Giordano, Alberto Martelli, Daniele Theseider Dupré. Achieving Completeness in Bounded Model Checking of Action Theories in ASP. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]