Transformation methods in LDS (1997)

by K Broda, M D’Agostino, A Russo
Venue:In Logic, Language and Reasoning. An Essay in Honor of Dov Gabbay