A calculus for four-valued sequential lo
โ
Jan A. Bergstra; Jaco van de Pol
๐
Article
๐
2011
๐
Elsevier Science
๐
English
โ 228 KB