Corresponding author: Lunjin Lu ( l2lu@oakland.edu ) © Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim. This article is freely available under the J.UCS Open Content License. Citation:
Lu L, Kim D-K, Zhu Y, Kim S (2010) Verification of Structural Pattern Conformance Using Logic Programming. JUCS - Journal of Universal Computer Science 16(17): 2455-2474. https://doi.org/10.3217/jucs-016-17-2455 |