Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.

Igor Sedlr, Johann J. Wannenburg

Browse the full WoLLIC paper archive.