BIT
, Volume 17, 1977
Volume 17, Number 2, 1977
Sten-Åke Tärnlund
: Horn Clause Computability. 215-226
BibTeX
Copyright ©
Tue Nov 18 20:32:55 2008 by
Michael Ley
(
ley@uni-trier.de
)
