Anthony J. Bonner Intuitionistic Deductive Databases and the Polynomial Time Hierarchy. 1-47 1997 33 J. Log. Program. 1 db/journals/jlp/jlp33.html#Bonner97