Ignore these files for latex
My bibliographies
Tech Report on EC for android modeling

S Joshi, Y Xu, and N Soundarajan, An event calculus-based approach to
reasoning about mobile apps. Tech. Report. OSU-CISRC-10/13-TR22.
PDF available at
ftp://ftp.cse.ohio-state.edu/pub/tech-report/2013/TR22.pdf