ResearchIndex Home J. Barklund, S. Costantini, P. Dell'Acqua, and G. A. Lanzarone. Reflection Principles in Computational Logic . Submitted to J. of Logic and Computation, 1997.
H B be a clause in P .
Reflection Principles in Computational Logic . Submitted to J. of Logic and Computation, 1997. H B be a clause in P . J. Barklund, S. Costantini, P. Dell'Acqua, and G. A. Lanzarone. Reflection Principles in Computational Logic .