Ming-Yang Kao Minimal Linear Invariants. 23-33 1995 conf/asian/1995 ASIAN db/conf/asian/asian95.html#Kao95