TY  - RPRT
TI  - SCTL: Towards Combining Model Checking and Proof Checking
AU  - Ying Jiang
AU  - Jian Liu
AU  - Gilles Dowek
AU  - Kailiang Ji
PY  - 2017
UR  - https://arxiv.org/abs/1606.08668
ID  - 1606.08668
ER  -