Composing Logic Programs with Clausal Join (1987)

by Arun Lakhotia, Leon Sterling