[Lecture Notes in Computer Science] TAPSOFT '97: Theory and Practice of Software Development Volume 1214 || Generating efficient, terminating logic programs
Bidoit, Michel, Dauchet, MaxVolume:
10.1007/BF
Year:
1997
Language:
english
DOI:
10.1007/bfb0030603
File:
PDF, 794 KB
english, 1997