Bruce T. Smith (smith-bt)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Reed, David W., Loveland, Donald W. and Smith, Bruce T. 1992. “The Near-Horn Approach to Disjunctive Logic Programming.” in ELP’91. Proceedings of the 2nd International Workshop on Extensions of Logic Programming, edited by Lars-Henrik Eriksson, Lars Hallnäs, and Peter Schröder-Heister. Berlin: Springer.