Synchronizing Constrained Horn Clauses.

Dmitry Mordvinov, Grigory Fedyukovich

Browse the full LPAR paper archive.