Composition Operators for Logic Theories (1990)

by A Brogi, P Mancarella, D Pedreschi, F Turini
Venue:Computational Logic