Logic Program Schemata: Synthesis and Analysis (1995)

by P Flener