Literary and Linguistic Computing · 1993 · 155 citations · 0 references
ComputingComputer ScienceMathematicsArtificial IntelligenceLogicProgramming LanguagesAutomated ReasoningDeductive ReasoningLogic ProgrammingPredicate LogicComputational LogicFirst-order Logic Programming
M. Bruynooghe, J. A. Robinson; Journal of Logic Programming, Literary and Linguistic Computing, Volume 8, Issue 4, 1 January 1993, Pages 309–310, https://d