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

Cached

Download Links

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