Towards Intuitionistic Dynamic Logic - Degen, Wolfgang; Werner, J.M. (Proceedings of Studia Logica 2006, 2007)
UnivIS-Import:2015-04-16:Pub.2007.tech.IMMD.lsinfs.toward