Skip to content

Set-Term Matching in Logic Programming.

Natraj Arni, Sergio Greco, Domenico Sacc

VenueAICDT
Year1992
ProceedingsICDT

Browse the full ICDT paper archive.