Computer Assisted Access to Justice via Formal Jurisprudence Modeling. - Michael Bar-Sinai; Michal Tadjer; Mor Vilozni (CoRR, 2019)