Revision Specifications by Means of Programs.

V. Wiktor Marek, Miroslaw Truszczynski

Browse the full JELIA paper archive.