## Harald Ganzinger, David A. McAllester

*A New Meta-complexity Theorem for Bottom-Up Logic Programs*

IJCAR, 2001.

@inproceedings{IJCAR-2001-GanzingerM, author = "Harald Ganzinger and David A. McAllester", booktitle = "{Proceedings of the First International Joint Conference on Automated Reasoning}", doi = "10.1007/3-540-45744-5_44", isbn = "3-540-42254-4", pages = "514--528", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A New Meta-complexity Theorem for Bottom-Up Logic Programs}", volume = 2083, year = 2001, }