Automated Reformulation of Specifications by Safe Delay of Constraints.

Marco Cadoli, Toni Mancini

Browse the full KR paper archive.