As I'm not aware of any papers on the subject, I took an ad-hoc approach to coding up the pre-matching and property checking which seems reasonable to me but has no theoretical basis whatsoever.