David Billington. The Proof Algorithms of Plausible Logic Form a Hierarchy. In Shichao Zhang, Ray Jarvis, editors, AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings. Volume 3809 of Lecture Notes in Computer Science, pages 796-799, Springer, 2005. [doi]
@inproceedings{Billington05, title = {The Proof Algorithms of Plausible Logic Form a Hierarchy}, author = {David Billington}, year = {2005}, doi = {10.1007/11589990_83}, url = {http://dx.doi.org/10.1007/11589990_83}, tags = {logic}, researchr = {https://researchr.org/publication/Billington05}, cites = {0}, citedby = {0}, pages = {796-799}, booktitle = {AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings}, editor = {Shichao Zhang and Ray Jarvis}, volume = {3809}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-30462-2}, }