TY  - RPRT
TI  - Verification and Planning Based on Coinductive Logic Programming
AU  - Bansal, Ajay
AU  - Min, Richard
AU  - Simon, Luke
AU  - Mallya, Ajay
AU  - Gupta, Gopal
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20080022204
ID  - 20080022204
ER  -