Dae-Kyoo Kim Lunjin Lu Inference of Design Pattern Instances in UML models via Logic Programming. 47-56 2006 conf/iceccs/2006 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.58 db/conf/iceccs/iceccs2006.html#KimL06