A Why-on-Earth Tutorial on Finite Model Theory | IEEE Conference Publication | IEEE Xplore