DMCA

Constructive Interpolation in Hybrid Logic (2002)

by Patrick Blackburn , Maarten Marx
Venue:Journal of Symbolic Logic
Citations:9 - 3 self