Broader forms of logic programming (1990)

by B Jayaraman