Actions for First-order programming theories

View MARC record | catkey: 1562378