Towards Stepwise, Schema-Guided Synthesis of Logic Programs (1991)

by Pierre Flener , Yves Deville
Venue:LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
Citations:15 - 6 self