Valentin Goranko <i>Logic in Computer Science</i>: Modelling and Reasoning About Systems. 117-120 2007 16 Journal of Logic, Language and Information 1 http://dx.doi.org/10.1007/s10849-006-9017-y db/journals/jolli/jolli16.html#Goranko07