(1)
Okamoto, S. Jurema Sagrada. CS 2018, 45-60.