A parallel resolution method for logic programs
by Urs Zolliker
No reviews yet
First published: 1993
1 language