(1)
Interactive Vectors For Model-Based Reasoning. ICCE 2016.