Verified decision procedures on context-free grammars (2007)

by Yasuhiko Minamide
Venue:In Proc. of the 20th International Conference Theorem Proving in Higher Order Logics