Manhattan World Constraint for Indoor Line-based Mapping Using Ultrasonic Scans | IEEE Conference Publication | IEEE Xplore