Vol-1644⫷ Vol-1645 ⫸Vol-1646
urn:nbn:de:0074-1645-0


Vol-1645/inv4⫷Vol-1645/paper_7⫸Vol-1645/paper_20

Labelled Variables in Logic Programming: Foundations