@techreport{a6a5912b5dcb4f35b54612323e899e18,
title = "What's a Head without a Body?",
keywords = "answer set programming, proof complexity, answer set programming, proof complexity, answer set programming, proof complexity",
author = "Christian Anger and Martin Gebser and Tomi Janhunen and Torsten Schaub",
year = "2006",
language = "English",
series = "The 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 29 - September 1, 2006",
publisher = "IOS Press",
pages = "769--770",
type = "WorkingPaper",
institution = "IOS Press",
}