Interactive theory revision (1992)

by L De Raedt