Compositional operators for logic theories (1990)

by A Borgi, P Mancarella, D Pedreschi, F Turini
Venue:In Lloyd [1990