@inproceedings{AntoyShapiroVorvick95,
author = "S, Antoy and D. Shapiro and J. Vorvick",
title = "Goedel with User-Defined Evaluable Functions",
year = "1995",
pages = "37-46",
address={Portland, OR},
month={Dec.},
booktitle = "Proc. of Vision for the Future of Logic Programming:
                  Laying the Foundations for a Modern Successor to
                  Prolog"
}