Vol-3192⫷ Vol-3193 ⫸Vol-3194
urn:nbn:de:0074-3193-0


Vol-3193/paper3ASPOCP⫷Vol-3193/short1ASPOCP⫸Vol-3193/paper4ASPOCP
Vladimir Lifschitz

Translating Definitions into the Language of Logic Programming: A Case Study