Katsumi Inoue;Chiaki Sakama
-;-
N-axioms parallel unification
Fundamenta Informaticae - Concurrency specification and programming
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming