Yngve Lamo;Michal Walicki
-;-
Quantifier-free logic for nondeterministic theories
Theoretical Computer Science - Logic, language, information and computation