Nominal Logic Programming (2004)

by James Robert Cheney
Citations:23 - 8 self