A workbench for developing logic programs by stepwise enhancement (1989)

by A Lakhotia