RP612 | 1992 Research Paper | Vargas-Vera,M; Robertson,DS; Inder,R |
---|---|---|
A Mathematical Framework for the Problem of Combination of Prolog Programs | ||
RP636 | 1993 Research Paper | Vargas-Vera,M; Robertson,DS; Inder,R |
Combining Prolog Programs in a Techniques Editing System |