On automatic verification of SLIDE descriptions

2018-06-29T17:02:42Z (GMT) by John J. Wallace
technical report