Development of a Learning Support System that Automatically Generates Solutions by Converting Legal Articles into Logical Expressions | IEEE Conference Publication | IEEE Xplore