Gopalan Nadathur, Donald W. Loveland. Uniform Proofs and Disjunctive Logic Programming (Extended Abstract). In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 148-155, IEEE Computer Society, 1995.
Abstract is missing.