The Proof Algorithms of Plausible Logic Form a Hierarchy.

David Billington The Proof Algorithms of Plausible Logic Form a Hierarchy. 796-799 2005 conf/ausai/2005 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11589990_83 db/conf/ausai/ausai2005.html#Billington05