DMCA

An Efficient Decision Procedure . . . Constraints (2005)

by Shuvendu K. Lahiri , Madanlal Musuvathi