By clibrary on Mon, 06/23/2025 - 20:06 Author Dov M. Gabbay, Hans Jürgen Ohlbach Publisher Springer Subject Computer Science Year 1996 Vol/Edition 1085 ISBN 9783540684541 URL http://dx.doi.org/10.1007/3-540-61313-7