User menu

Logic Program Synthesis From Incomplete Specifications

Bibliographic reference Flener, P. ; Deville, Yves. Logic Program Synthesis From Incomplete Specifications. In: Journal of Symbolic Computation, Vol. 15, no. 5-6, p. 775-805 (1993)
Permanent URL http://hdl.handle.net/2078.1/49590