Amanote Research
Register
Sign In
Records for Logic Programming
The Journal of Logic Programming
doi 10.1016/0743-1066(94)90044-2
Full Text
Open PDF
Abstract
Available in
full text
Date
April 1, 1994
Authors
Gert Smolka
Ralf Treinen
Publisher
Elsevier BV