
Publications
.
2004. A Relational Query Primitive for Constraint-Based Pattern Mining. Constraint-Based Mining and Inductive Databases. :14-37.
.
1993. Reasoning about Termination of Pure Prolog Programs. Inf. Comput.. 106:109-157.
.
1990. RASP: A Resource Allocator for Software Projects. IEA/AIE (Vol. 2). :628-637.

]