User menu

Logic Program Synthesis

Bibliographic reference Deville, Yves ; Lau, KK.. Logic Program Synthesis. In: Journal of Logic Programming, Vol. 20, p. 321-350 (1994)
Permanent URL http://hdl.handle.net/2078.1/48860