Constructive Interpolation in Hybrid Logic (2002)

by Patrick Blackburn , Maarten Marx
Venue:Journal of Symbolic Logic
Citations:7 - 2 self