DMCA

Reasoning With Bounded Self-Reference Using Logical Interpreters

by Daniel Gorín , Lutz Schröder , Thorsten Wißmann