Monad-independent dynamic logic in HasCasl (2003)

by Lutz Schröder , Till Mossakowski
Venue:J. Logic Comput
Citations:12 - 7 self