".

Published in: Intellectics and Computational Logic (2000)