Satisfaction (Extended Version)
John · Song · 2020
