Programs with Universally Quantified Embedded Implications.

Vyacheslav Petukhin

Browse the full LPNMR paper archive.