SODA

A proof-theoretic approach to logic programming, I. Generalized horn clauses

Hallnäs, Lars and Schroeder-Heister, Peter (1988) A proof-theoretic approach to logic programming, I. Generalized horn clauses. [SICS Report]

Full text not available from this repository.


Item Type:SICS Report
Additional Information:Original report number R88005. No longer distributed. Revised version with the same title appears in : Journal of Logic and Computation Vol.1, No.2, December 1990.
ID Code:2543
Deposited By:Vicki Carleson
Deposited On:05 Nov 2007
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page