On automatic verification of SLIDE descriptions

1979-01-01T00:00:00Z (GMT) by John J. Wallace
technical report