BIT
, Volume 17, 1977
Volume 17, Number 2, 1977
Sten-Åke Tärnlund
: Horn Clause Computability. 215-226
BibTeX
Copyright ©
Sat May 16 23:51:35 2009 by
Michael Ley
(
ley@uni-trier.de
)
