Gdel as a Meta-Language for Composing Logic Programs.

Antonio Brogi, Simone Contiero

Browse the full LOPSTR paper archive.