A Locale for Minimal Bad Sequences

Christian Sternagel
Isabelle Users Workshop (IUW 2012),  2012.

abstract   BibTeX   PDF  
arXiv