1982,"A completeness theorem in the modal logic of programs" pp (0)

by K Segerberg
Venue:3 t-46 in Universal Algebra and Applications