TITLE     : Synthesizing monadic predicates
AUTHOR(S) : Meghini C, Spyratos N
TYPE      : Journal article
YEAR      : 2008
CODE      : 44200

*** DO NOT EDIT THIS FILE ***