થોર્ન મેક્કાર્ટીએ ટેક્સેશન માટે માઇક્રો પ્લાનરનો ઉપયોગ કરીને કાયદાના તર્કનું યાંત્રિકિકરણ કરવાની દિશામાં શરૂઆત કરી હતી.[૨૨] તાજેતરમાં કાયદાના તર્કનાં યાંત્રિકિકરણ અને ઔપચારિકરણ વિશે થયેલા કામની વિગતો ઇન્ટરનેશનલ કોન્ફરન્સિઝ ઑન આર્ટિફિશ્યલ ઇન્ટેલિજન્સ ઍન્ડ લૉ ની કાર્યવાહીઓમાંથી મળી શકશે. (સૌથી તાજેતરમાં જૂન 2007માં સ્ટેનફૉર્ડ ખાતે)