On the Kleene Algebra of Partial Predicates with Predicate Complement.

Ievgen Ivanov, Mykola S. Nikitchenko

Browse the full ICTERI paper archive.