Jäger, Gerhard and
Stärk, Robert F. 1998.
“A Proof-Theoretic Framework for Logic Programming.” in
Handbook of Proof Theory, edited by Samuel R.
Buss, pp. 639–682.
Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Kohlas, Jürg and
Stärk, Robert F. 1996.
“Information Algebras and Information Systems.” 96–14. Fribourg: Theoretical Computer Science Research Group.