Smith.Kleene algebra with tests: Completeness and decidability (1996)

by Dexter Kozen, Frederick
Venue:Proc. 10th Int. Workshop Computer Science Logic (CSL'96), volume 1258 of Lecture Notes in Computer Science