Proceeding on logic programming - Saraswat Vijay Ed.; International symposium on logic programming (1991 : San Diego); Veda Kazunor Ed. (Cambridge MIT Press, 1991)
Keywords: logic programming