Document Type

Conference Proceeding

Publication Date

1-1-2002

Comments

This paper was presented at WLP: Workshop Logische Programmierung, Dresden, Germany, December 2002.

This is the authors' version of the paper.