Executable Representation of Law: Problems and Progress

Date: